$x$($s_{1}$,$s_{2}$,$s_{3}$,$s_{4}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$($s_{1}$,$s_{2}$,$s_{3}$,$s_{4}$)